英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 16:47:54 [探索] 来源：陕西欣鸿然自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
国外专利棒喝国内空调业 成本增10%—万维家电网
小米即将进军空调 格力称想分羹不容易—万维家电网
科龙“白雪公主”空调上市 精品布局决战旺季—万维家电网
志高备战618年中大促：三大平台火力全开—万维家电网
您知道如何根据居室空间来选择空调吗？—万维家电网推荐文章
-
进入四月份，空调市场已经剑拔弩张。面对07冷年的旺季大决战，“美的不打算参与任何价格战”，中国制冷学会理事、美的家用空调事业部副总经理伍光辉博士近日向记者表示，“空调企业的竞争焦点已从规模和价格等方面
...[详细]
-
智能评测“狮”，一只能让产品说话的“狮子”！今天，智能评测“狮”继续为大家带来米家、华凌空调巅峰对决，这次我们测试的是使用舒适度体验。此次互联网爆款空调巅峰对决舒适篇里包含了舒适度应用测试、制冷、制热
...[详细]
-
在刚刚过去的“618”年中线上大促，作为空调业四大家族之一的志高再传捷报。从6月17日到18日的大促期间，志高空调单品在三大电商平台销售各迎来大幅增长，总销售额突破2亿，比去年同期增长了115%。据悉
...[详细]
-
从微波炉龙头到专业白电品牌 格兰仕创新驱动转型升级—万维家电网
如今，国民消费水平不断提升，消费者由原来的对必需品的追求转变为对非必需品的追求，消费方式由生存型消费转变为享受型消费，消费者对于产品的追求也不再满足于功能和实用。如果还有传统制造型企业将口号定位在“我
...[详细]
-
3月14日，苏宁主办的“07年京城空调发展趋势论坛”，与会厂商代表对07年空调价格的趋势各持己见。就在业内人士仍在就07年空调市场价格涨跌争论不休的时候，上周，外资空调效仿外资彩电，突然袭击，联手苏宁
...[详细]
-
1902年，美国人威利斯.开利设计了第一个空调系统。自那以后的20年间，空调享受的对象一直是机器，而不是人。1922年开利工程公司研制成 功在空调史上具有里程碑地位的产品——离心式空调机，简称离
...[详细]
-
7月26日，TCL空调首届“燥冻节”在江城热力开启。一场冰火相逢的夏日狂欢，颠覆空调行业传统的活动形式，实在是令人耳目一新，也成功赚得眼球！厚积薄发，TCL空调年轻态IP绽放冰火盛宴、夏日狂欢！当小编
...[详细]
-
格兰仕被评为“空调行业卓越品牌” 普罗旺斯空调荣获“畅销型号奖”—万维家电网
日前，由中国家用电器协会与国家信息中心信息资源开发部指导、中国家电网主办的“2017-2018中国空调行业高峰论坛”在北京召开。格兰仕作为家用空调代表，受邀参加本次论坛，并荣膺2017-2018年度空
...[详细]
-
自4月中上旬开始，空调市场进入了旺销期，昨日记者在临沂市区各家电卖场了解到，近段时间前来购买空调的顾客明显增多。作为家用电器中的耗电大户，如何让空调更加节能是每个消费关心的问题，业内人士指出，要实现空
...[详细]
-
海尔发布空气生态新成果：连接500家生态方造出好空气—万维家电网
温度17.1℃、湿度45%、AQI(空气污染指数）31、PM2.5<15、VOC＝0、CO2<600ppm、负离子>3000个/ cm³……这一组有关空气的
...[详细]
热点阅读
